function jump(id, targetPage)
{
    var label = document.getElementById(id);
    var time = label.innerHTML;
    if (time > 0)
    {
	time--;
	window.setTimeout("jump(id)", 1000);
	label.innerHTML = time;
    }
    else
    {
	location.href = targetPage;
    }
}